Llistar TÃtols per Autor "Ulrich-Oltean, Felix"
S'ha trobat un Ãtem:
| Format | Data | TÃtol | Autor |
|---|---|---|---|
| Format | Data | TÃtol | Autor |
|
gener 2022 | SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints | Bofill Arasa, Miquel ; Coll Caballero, Jordi ; Nightingale, Peter ; Suy Franch, Josep ; Ulrich-Oltean, Felix ; Villaret i Ausellé, Mateu |
